/*@
 */
int main ()
{
  int i;
  int j;
  int k;
  
  i = 1;
  j = 1;
  k = 0;
  
  if (i<0)
  {
    while (i <0 )/*@ */
    {
      i=i+1;
    }
    return 999;
  }
  else
  {
    return k;
  }
}
/*@
 */

